Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC

Année:
1992
Langue:
english
Fichier:
PDF, 796 KB
english, 1992
2

Informational Logic as a Tool for Automated Reasoning

Année:
1998
Langue:
english
Fichier:
PDF, 404 KB
english, 1998
3

Paraconsistent Informational Logic

Année:
2005
Langue:
english
Fichier:
PDF, 219 KB
english, 2005
17

Spironolactone and canrenoate: Different antialdosteronic diuretic agents

Année:
1991
Langue:
english
Fichier:
PDF, 279 KB
english, 1991
39

Syntactical results on the arithmetical completeness of modal logic

Année:
1993
Langue:
english
Fichier:
PDF, 801 KB
english, 1993
44

Controversial issues in ascites and hepatorenal syndrome (HRS) during cirrhosis

Année:
1999
Langue:
english
Fichier:
PDF, 165 KB
english, 1999
46

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

Année:
1999
Fichier:
PDF, 713 KB
1999
47

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

Année:
1999
Fichier:
PDF, 308 KB
1999
48

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

Année:
1999
Fichier:
PDF, 714 KB
1999